Calculating Criticalities
نویسندگان
چکیده
We present a novel method for building Abstrips style abstraction hierarchies in planning. The aim of this method is to minimize search by limiting backtracking both between abstraction levels and within an abstraction level. Previous approaches for building Abstrips style abstractions have determined the crit-icality of operator preconditions by reasoning about plans directly. Here, we adopt a simpler and faster approach where we use numerical simulation of the planning process. We develop a simple but powerful theory to demonstrate the theoretical advantages of our approach. We use this theory to identify some simple properties lacking in previous approaches but possessed by our method. We demonstrate the empirical advantages of our approach by a set of four benchmark experiments using the AbTweak system. We compare the quality of the abstraction hierarchies generated with those built by the Alpine and Highpoint algorithms. Authors are listed in alphabetical order. The rst author is supported by EPSRC grant GR/J/80702, and the last by a HCM personal fellowship. We thank Qiang Yang for assistance with AbTweak and Highpoint, and Alessandro Coglio for assistance with the proof of the rate of convergence of the simpliied Probability model.
منابع مشابه
Optimization of Selection of Test Sets for Circuits
Generating a test set based on knowledge of the criticalities of all the faults in a given circuit can yield good test coverage. Yet criticalities are costly to calculate. In this paper, a method is proposed of minimizing the number of calculations of criticalities to as much as 12.5% of the original number of criticality calculations while maintaining similar product quality. Additionally, the...
متن کاملProbabilities and Mixed-Criticalities: the Probabilistic C-Space
Probability distributions bring flexibility as well as accuracy in modeling and analyzing real-time systems. On the other end, the adding of probabilities increases the complexity of the scheduling problem, especially in case of mixed-criticalities where tasks of different criticalities have to be taken into account on the same computing platform. In this work we explore the flexibility of prob...
متن کاملCAAC - An Adaptive and Proactive Access Control Approach for Emergencies for Smart Infrastructures
The paper presents an access control model called Criticality Aware Access Control (CAAC) for criticality (emergency) management in smart-infrastructures. Criticalities are consequences of events which take a system (in our case, a smart-infrastructure) into an unstable state. They require the execution of specific response actions in order to bring them under control. The principal aim of CAAC...
متن کاملPotentialities and Criticalities of Plantar Pressure Measurements in the Study of Foot Biomechanics: Devices, Methodologies and Applications
متن کامل
Models of Urban Land Use in Europe: Assessment Tools and Criticalities
The aim of this paper is to examine available homogenous data on urban conversion of land in Western European countries and determine whether they are suitable to make an international comparison between land policies and management behaviour at the local level. This paper provides some results obtained from currently available information, but it stresses major data production criticalities wh...
متن کاملBenchmark Test of JEF-1 Evaluation by Calculating Fast Criticalities
JEF-1 basic evaluation was tested by calculating fast critical experiments using the cross section discrete-ordinates transport code ONEDANT with P3S16 approximation. In each computation a spherical one dimensional model was used, together with a 174 neutron group VITAMIN-E structured JEF-1 based nuclear data library, generated at EIR with NJOY and TRANSX-CTR. It is found that the JEF-1 evaluat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Artif. Intell.
دوره 88 شماره
صفحات -
تاریخ انتشار 1996